Migration résidentielle vers le rural et le périurbain : un processus ségrégatif ?

Un angiobehçet: entre le marteau et l'enclume!

L'atteinte vasculaire est fréquente au cours de la Maladie de Behçet (MB). Dans 1/3 des cas, il peut s'agir d'une thrombose veineuse des gros troncs. L'atteinte artérielle peut survenir dans 4 à 17% des cas. Le traitement de ces atteintes graves d'angiobehçet repose sur les corticoïdes et les immunosuppresseurs. L'intérêt des anticoagulants reste controversé. Nous rapportons un cas de thrombose...

Vers un entrepôt de données pour le trafic routier

Claudia Bauzer-Medeiros∗, Olivier Carles∗∗, Florian Devuyst∗∗∗, Georges Hébrail∗∗∗∗, Bernard Hugueney, Marc Joliveau∗∗∗, Geneviève Jomier, Maude Manouvrier, Yosr Naïja, Gérard Scemama∗∗, Laurent Steffan ∗Institute of Computing (IC) University of Campinas Caixa Postal 6176 13084-971 Campinas, SP Brazil cmbm@ic. unicamp. br ∗∗INRETS Laboratoire GRETIA 2, Avenue du Général Malleret Joinville 94114...

Relation entre le pouvoir toxique et le pouvoir antigene des toxines diphterique et tetanique

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

La Validation dans le Processus de Développement

The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect i...